(fun x ->{caret} x)
